Optimal. Leaf size=88 \[ \frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{2 d^3 (1+i c x)^2}+\frac{3 b}{8 c^2 d^3 (-c x+i)}-\frac{i b}{8 c^2 d^3 (-c x+i)^2}+\frac{b \tan ^{-1}(c x)}{8 c^2 d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0767148, antiderivative size = 88, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.238, Rules used = {37, 4872, 12, 88, 203} \[ \frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{2 d^3 (1+i c x)^2}+\frac{3 b}{8 c^2 d^3 (-c x+i)}-\frac{i b}{8 c^2 d^3 (-c x+i)^2}+\frac{b \tan ^{-1}(c x)}{8 c^2 d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 4872
Rule 12
Rule 88
Rule 203
Rubi steps
\begin{align*} \int \frac{x \left (a+b \tan ^{-1}(c x)\right )}{(d+i c d x)^3} \, dx &=\frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{2 d^3 (1+i c x)^2}-(b c) \int \frac{x^2}{2 d^3 (i-c x)^3 (i+c x)} \, dx\\ &=\frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{2 d^3 (1+i c x)^2}-\frac{(b c) \int \frac{x^2}{(i-c x)^3 (i+c x)} \, dx}{2 d^3}\\ &=\frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{2 d^3 (1+i c x)^2}-\frac{(b c) \int \left (-\frac{i}{2 c^2 (-i+c x)^3}-\frac{3}{4 c^2 (-i+c x)^2}-\frac{1}{4 c^2 \left (1+c^2 x^2\right )}\right ) \, dx}{2 d^3}\\ &=-\frac{i b}{8 c^2 d^3 (i-c x)^2}+\frac{3 b}{8 c^2 d^3 (i-c x)}+\frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{2 d^3 (1+i c x)^2}+\frac{b \int \frac{1}{1+c^2 x^2} \, dx}{8 c d^3}\\ &=-\frac{i b}{8 c^2 d^3 (i-c x)^2}+\frac{3 b}{8 c^2 d^3 (i-c x)}+\frac{b \tan ^{-1}(c x)}{8 c^2 d^3}+\frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{2 d^3 (1+i c x)^2}\\ \end{align*}
Mathematica [A] time = 0.0818942, size = 63, normalized size = 0.72 \[ \frac{a (-4-8 i c x)-b \left (3 c^2 x^2+2 i c x+1\right ) \tan ^{-1}(c x)+b (-3 c x+2 i)}{8 c^2 d^3 (c x-i)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.041, size = 128, normalized size = 1.5 \begin{align*}{\frac{a}{2\,{c}^{2}{d}^{3} \left ( cx-i \right ) ^{2}}}-{\frac{ia}{{c}^{2}{d}^{3} \left ( cx-i \right ) }}+{\frac{b\arctan \left ( cx \right ) }{2\,{c}^{2}{d}^{3} \left ( cx-i \right ) ^{2}}}-{\frac{ib\arctan \left ( cx \right ) }{{c}^{2}{d}^{3} \left ( cx-i \right ) }}-{\frac{3\,b\arctan \left ( cx \right ) }{8\,{c}^{2}{d}^{3}}}-{\frac{{\frac{i}{8}}b}{{c}^{2}{d}^{3} \left ( cx-i \right ) ^{2}}}-{\frac{3\,b}{8\,{c}^{2}{d}^{3} \left ( cx-i \right ) }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.04489, size = 96, normalized size = 1.09 \begin{align*} -\frac{{\left (8 i \, a + 3 \, b\right )} c x +{\left (3 \, b c^{2} x^{2} + 2 i \, b c x + b\right )} \arctan \left (c x\right ) + 4 \, a - 2 i \, b}{8 \, c^{4} d^{3} x^{2} - 16 i \, c^{3} d^{3} x - 8 \, c^{2} d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.26326, size = 196, normalized size = 2.23 \begin{align*} \frac{{\left (-16 i \, a - 6 \, b\right )} c x +{\left (-3 i \, b c^{2} x^{2} + 2 \, b c x - i \, b\right )} \log \left (-\frac{c x + i}{c x - i}\right ) - 8 \, a + 4 i \, b}{16 \, c^{4} d^{3} x^{2} - 32 i \, c^{3} d^{3} x - 16 \, c^{2} d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.16286, size = 200, normalized size = 2.27 \begin{align*} \frac{3 \, b c^{2} x^{2} \log \left (c x + i\right ) - 3 \, b c^{2} x^{2} \log \left (c x - i\right ) - 6 \, b c i x \log \left (c x + i\right ) + 6 \, b c i x \log \left (c x - i\right ) - 6 \, b c i x + 16 \, b c x \arctan \left (c x\right ) + 16 \, a c x - 8 \, b i \arctan \left (c x\right ) - 8 \, a i - 3 \, b \log \left (c x + i\right ) + 3 \, b \log \left (c x - i\right ) - 4 \, b}{16 \,{\left (c^{4} d^{3} i x^{2} + 2 \, c^{3} d^{3} x - c^{2} d^{3} i\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]